Engineering Informatics

Results: 887



#Item
51Computing / Software engineering / Computer programming / Concurrent programming languages / Inter-process communication / Functional languages / Concurrent computing / Edsger W. Dijkstra / Process calculi / Actor model / Message passing / Scala

Advances in Programming Languages APL14: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-02-24 17:48:20
52Security / Cryptography / Cyberwarfare / Computer network security / Biological engineering / Body area network / Wireless networking / Internet privacy / Health informatics / Computer security / Encryption / Medical privacy

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-01-19 08:03:23
53Mathematics / Game theory / Price of anarchy / Stackelberg competition / Academia / Shortest path problem / Futures and promises / Algorithm / Nash equilibrium

The Price of Optimum in Stackelberg Games on Arbitrary Single Commodity Networks and Latency Functions A.C. Kaporis∗ Department of Computer Engineering and Informatics, University of Patras University Campus, Building

Add to Reading List

Source URL: students.ceid.upatras.gr

Language: English - Date: 2008-12-11 12:57:59
54Statistics / Statistical theory / Systems science / Mathematical optimization / Estimation theory / Markov models / Dynamic programming / Equations / Systems engineering / Loss function / Maximum likelihood estimation / Viterbi algorithm

Linear Dynamic Programming and the Training of Sequence Estimators Christopher Raphael? and Eric Nichols?? Abstract We consider the problem of finding an optimal path through a trellis graph when the arc costs are linear

Add to Reading List

Source URL: music.informatics.indiana.edu

Language: English - Date: 2010-06-29 17:34:24
55Parallel computing / Computing / Computer programming / Software engineering / OpenMP / Thread / Concurrent computing / Map / Synchronization / Loop-level parallelism

On-the-fly Detection of Data Races in OpenMP Programs Ok-Kyoon Ha Dept. of Informatics, Gyeongsang National University, Rep. of Korea

Add to Reading List

Source URL: faculty.uoit.ca

Language: English - Date: 2012-07-17 19:04:29
56Software engineering / Computer programming / Computing / Object-oriented programming / Software design patterns / Concurrent programming languages / Cross-platform software / Method / Objective-C / Invariant / Null Object pattern / Protocol

Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr

Add to Reading List

Source URL: heim.ifi.uio.no

Language: English - Date: 2016-05-04 09:09:45
57Software engineering / Computing / Programming language theory / Concurrency control / Edsger W. Dijkstra / Monitor / Formal methods / Hoare logic / Event / Semaphore / Concurrent computing / Pascal

A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999

Add to Reading List

Source URL: www.olejohandahl.info

Language: English - Date: 2013-09-23 13:44:35
58Software engineering / Computer programming / Subroutines / Data types / Recursion / Type theory / Programming idioms / Fold / ALGOL 68 / Subtyping / Record / Generator

Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo Talk presented at the 25 years Simula 67 Anniversary Conferences, NordwijkerhoutJune 1992 and Oslo 22 June.

Add to Reading List

Source URL: www.olejohandahl.info

Language: English - Date: 2013-09-23 13:44:35
59Software engineering / Computing / Computer programming / Concurrency control / Java / Concurrent computing / Software design patterns / Thread safety / Java concurrency / Lock / Synchronization / Immutable object

Advances in Programming Languages APL13: Concurrency Abstractions David Aspinall School of Informatics The University of Edinburgh

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-02-22 15:21:26
60Concurrency / Models of computation / Petri nets / Diagrams / Software engineering / Petri / Theoretical computer science / Metaphor

Genome Informatics 12: 292–Genomic Object Net: Petri Net Enhancement for Multi-Cellular Processes

Add to Reading List

Source URL: www.jsbi.org

Language: English - Date: 2002-01-17 03:51:06
UPDATE